# SPDX-License-Identifier: Apache-2.0

kernel_library()

kernel_library_sources(
  cache.S proc.S mmu.c context.c ioremap.c flush.c
  mmap.c extable.c fault.c init.c
)
